Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams
نویسندگان
چکیده
منابع مشابه
Verification of the Correctness in Composed UML Behavioural Diagrams
The Unified Modeling Language UML 2.0 plays a central role in modern software engineering, and it is considered as the de facto standard for modeling software architectures and designs. Todays systems are becoming more and more complex, and very difficult to deal with. The main difficulty arises from the different ways in modelling each component and the way they interact with each others. At t...
متن کاملUML-Checker: An Approach for Verifying UML Behavioral Diagrams
UML is a visual modeling language used for specifying, visualizing, constructing, and documenting software artifacts. Despite having many features to model systems, conducting verifications and validations on UML models is not an easy task. In this paper, the problem of performing verification of UML models is discussed through a translation of UML behavioral diagrams into formal models to be v...
متن کاملEquivalence Rules for UML Class Diagrams
UML is a complex language with many modeling features. Especially the modeling of static structures with class diagrams is supported by a rich set of description primitives. We show how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only n-ary associa...
متن کاملUML-VT: A Formal Verification Environment for UML Activity Diagrams
This paper introduces a translation tool that supports formal verification of UML activity diagrams using the model checkers: UPPAAL, SPIN, NuSMV and PES. The motivation for this tool arises from the desire to check the properties of a system early in the development process, and the fact that UML is commonly used to describe software models. The tool is implemented as an Eclipse-plugin that au...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2003
ISSN: 1598-2866
DOI: 10.3745/kipstd.2003.10d.6.971